Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
51	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
52	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:19:01 Data types Type theory Functions and mappings Curves Enumerated type Technical University of Denmark Function Triangle Constructor Circle C++ classes Standard ML
53	Introduction Function casts Object casts Status and conclusions Towards Gradual Typing in Python Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:54 Object-oriented programming languages High-level programming languages Scripting languages Cross-platform software Procedural programming languages Gradual typing Jython Type system Python D Go
54	ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:08 Data types Subroutines Type theory Functional languages Procedural programming languages Closure Standard ML Type system Anonymous function Partial evaluation HindleyMilner type system ML
55	arXiv:0901.1102v1 [math.PR] 8 JanA CLT for the L2 modulus of continuity of Brownian local time Xia Chen, Wenbo Li, Michael B. Marcus and Jay Rosen∗ February 20, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-20 11:10:03 Integral calculus Integration by parts Lemmas Harmonic analysis Operator theory Fourier analysis Singular integral operators of convolution type Bessel function
56	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application
57	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference
58	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function
59	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
60	Bost-Connes type Systems for Function Fields Benoît Jacob Université Paris 6 http://www.math.jussieu.fr/∼jacob May 13, 2006 Add to Reading List Source URL: www.math.vanderbilt.edu Language: English - Date: 2006-08-02 09:37:08

UPDATE